Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
761	Microsoft Word - WhCh0504.doc Add to Reading List Source URL: www.quantumfieldtheory.info Language: English - Date: 2012-08-10 12:08:33 Symbol Dirac delta function Fermionic field Function Linear temporal logic Μ operator Mathematical analysis Mathematics Functions and mappings
762	Microsoft Word - website_Chap05_2nd_edition.doc Add to Reading List Source URL: www.quantumfieldtheory.info Language: English - Date: 2013-12-19 12:14:09 Symbol Fermionic field Dirac delta function Feynman diagram Propagator Linear temporal logic Μ operator Physics Quantum field theory Particle physics
763	Flow-Sensitive Type Recovery in Linear-Log Time ∗ Michael D. Adams Andrew W. Keep Jan Midtgaard Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Theoretical computer science Applied mathematics
764	Morphisms, Hemimorphisms and Baer ∗ -Semigroups C. Piron1 The relationship between CROCs (complete orthomodular lattices) and complete Baer ∗ semigroups is discussed using an explicit construction of the adjoint of a Add to Reading List Source URL: www.phytheomat.ch Language: English - Date: 2007-12-26 07:15:25 Mathematics Operator theory Linear temporal logic Functional analysis Adjoint functors Projection
765	E.V. Flynn On a Theorem of Coleman 1 Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2006-07-08 18:57:37 Analytic number theory Elliptic curve Group theory Symbol Quadratic form Linear temporal logic Classical modular curve Algebra Mathematics Abstract algebra
766	3 3.1 Relativistic wave equations Klein-Gordon Add to Reading List Source URL: www.chem.helsinki.fi Language: English - Date: 2003-10-21 13:39:13 Operator theory Quantum mechanics Dirac equation Spinors Operator Linear temporal logic Symbol Physics Quantum field theory Partial differential equations
767	The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2002-01-03 19:01:27 Software engineering Computer programming Computing Constraint satisfaction Constraint logic programming Simplex algorithm Slack variable Linear programming Cassowary Constraint programming Mathematical optimization Operations research
768	A Hybrid Logical Framework Jason Reed CMU-CS[removed]September 17, 2009 Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:32 Logical consequence Philosophical logic Formal systems Metalogic Logical framework Linear logic Axiom Soundness Inference Logic Deduction Proof theory
769	EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗ Add to Reading List Source URL: www.ejtp.com Language: English - Date: 2009-08-25 12:57:40 Algebraic structures Mathematical structures Linear algebra Group theory Boolean algebra Combinatory logic Vector space Outline of algebraic structures Clifford algebra Algebra Mathematics Abstract algebra

UPDATE